- конечный морфизм
- finite morphism мат.
Русско-английский научно-технический словарь Масловского. 2015.
конечный морфизм
Look at other dictionaries:
СОБСТВЕННЫЙ МОРФИЗМ — морфизм схем, отделимый, универсально замкнутый и имеющий конечный тип. Морфизм схем f : наз. замкнутым, если для любого замкнутого множество f(Z) замкнуто в Y, и универсально замкнутым, если для любой замены базы замкнут морфизм Свойство быть С … Математическая энциклопедия
ЗАРИСКОГО ТЕОРЕМА — о связности: пусть f: собственный сюръективный морфизм неприводимых многообразий и пусть поле рациональных функций k(Y)сепарабельно алгебраически замкнуто в k(Х), а нормальная точка, тогда f 1(y)связно (и более того, геометрически связно) (см.… … Математическая энциклопедия
СЕПАРАБЕЛЬНОЕ ОТОБРАЖЕНИЕ — доминантный морфизм f неприводимых алгебраич. многообразий Xи , для к рого поле K(X)является сепарабельным расширением подполя f* K(Y)(изоморфного K(Y). ввиду доминантности). Несепарабельные отображения существуют только тогда, когда… … Математическая энциклопедия
СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать … Математическая энциклопедия
ПРОЕКТИВНАЯ СХЕМА — замкнутая подсхема проективного пространства ; в однородных координатах x0, . . ., х п на проективная схема задается системой однородных алгебраич. уравнений: Каждая П. с. является полной (компактной в случае k= ); обратно, полная схема… … Математическая энциклопедия
ЛЕФШЕЦА ФОРМУЛА — формула, выражающая число неподвижных точек эндоморфизма топологич. пространства через следы соответствующих эндоморфизмов в пространствах когомологий. Эта формула была установлена впервые С. Лефшецом для конечномерных ориентируемых топологич.… … Математическая энциклопедия
КОНЕЧНАЯ ГРУППОВАЯ СХЕМА — групповая схема, конечная и плоская над базисной схемой. Если G К. г. с. над схемой то где конечный плоский квазикогерентный пучок алгебр над В дальнейшем предполагается, что Sлокально нётерова. В этом случае пучок является локально свободным.… … Математическая энциклопедия
КОММУТАТИВНАЯ ГРУППОВАЯ СХЕМА — групповая схема Gнад базисной схемой S, значение к рой на любой S схеме является абелевой группой. Примерами К. г. с. служат абелевы схемы и алгебраические торы. Обобщением алгебраич. торов в рамках теории групповых схем служит следующее понятие … Математическая энциклопедия
ЭЛЛИПТИЧЕСКАЯ ПОВЕРХНОСТЬ — алгебраическая или аналитическая полная неособая поверхность X, у к рой имеется пучок эллиптических кривых, т. е. морфизм на неособую кривую В, общий слой к рого неособая эллиптич. кривая. Всякая Э. п. бирационально (бимероморфно) эквивалентна… … Математическая энциклопедия
